Недавно обновился grub2 и появились дополнительные записи в меню GRUB2, связанные с Xen. Отключаются они достаточно легко: 1chmod -x /etc/grub.d/20_linux_xen Все. Больше записей с Xen не будет.